var class_record_user =
[
    [ "RecordUser", "class_record_user.html#ab13f637d4d8e0408ddc347c9603bb8a3", null ],
    [ "addToWorld", "class_record_user.html#a2917ce58fc6023747e46e3f692f3eeae", null ]
];